axiom a system公理A系统
The axiom system COG公理系统COG
absolute geometric axiom system绝对几何公理系统
IMTL axiom systemIMTL公理系统
complete axiom system[数] 完备公理系统;完备公理系统
independence of axiom system公理系统的独立性
hoare axiom systemhoare公理系统
new axiom system新公理系统
hilbert axiom systemhilbert公理体系
In this paper, the authors disscuss a sort of template dependency having available and complete axiom system under null value circumstances.
本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。
参考来源 - 模糊描述逻辑FHe quoted the mobility concept in his abstruse axiom system and improved the non-Euclidean geometries into a mature mathematical science with mathematical experiment (thought experiment)and rich imaginability.
赫氏将运动概念作为基本的概念引入了深奥的公理系统,用合理的数学实验(思想实验)以及丰富的想象能力发展了非欧几何,使之成为一门成熟的数学学科。
参考来源 - 赫尔姆霍茨的数学哲学思想研究